Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

A version of this technical report has been accepted for publication at 15th International Conference on Formal Engineering Methods (ICFEMVerification of Static and Dynamic Barrier Synchronization Using Bounded P

Source URL: loris-7.ddns.comp.nus.edu.sg

FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

Source URL: heim.ifi.uio.no

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOL. 6, NO. 2, MAYGuest Editorial Special Section on Formal Methods in Manufacturing

Source URL: tii.ieee-ies.org

Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015

Source URL: tce.technion.ac.il

• Software engineering
• Computing
• Software testing
• Software
• Concurrent programming languages
• Electronic design automation
• Formal methods
• NP-complete problems
• Fuzz testing
• Random testing
• Satisfiability modulo theories
• Symbolic execution

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

Methods for Estimating End of Life Electronics Exports from North America T. Reed Miller, Jeremy Gregory, and Randolph Kirchain. MIT Materials Systems Laboratory Formal Remanufacturing and Recycling

Source URL: msl.mit.edu

Manifesto: Experiments and formal methods for privacy research

Source URL: scone.cs.st-andrews.ac.uk

Form Methods Syst Des:178–210 DOIs10703A formal hierarchy of weak memory models Jade Alglave

Source URL: www0.cs.ucl.ac.uk

Damien Zufferey Research Interests Programming Languages, Formal Methods, Program Analysis and Verification, and Distributed Systems. Education

Source URL: pub.ist.ac.at